ar X iv : c om p - ga s / 98 01 00 1 v 1 1 6 Ja n 19 98 COMPUTATIONS ON NONDETERMINISTIC CELLULAR AUTOMATA
نویسنده
چکیده
The work is concerned with the trade-offs between the dimension and the time and space complexity of computations on nondeterministic cellular automata. We assume that the space complexity is the diameter of area in space involved in computation. It is proved, that 1). Every NCA A of dimension r, computing a predicate P with time complexity T (n) and space complexity S(n) can be simulated by r-dimensional NCA with time and space complexity O(T 1 r+1 S r r+1) and by r + 1-dimensional NCA with time and space complexity O(T 1/2 + S), where T and S are functions, constructible in time. 2) For any predicate P and integer r > 1 if A is a fastest r-dimensional NCA computing P with time complexity T (n) and space complexity S(n) , then T = O(S). 3). If T r,P is time complexity of a fastest r-dimensional NCA computing predicate P then
منابع مشابه
ar X iv : h ep - p h / 98 01 30 9 v 1 1 5 Ja n 19 98 The Spin Symmetry of Heavy Baryons in the Framework of the B . S . Equation
We construct the B.S. equation for baryons. The most general form of the B.S. wave function is given. In the heavy quark limit we show clearly that the spin symmetry exists in heavy baryon states.
متن کاملar X iv : c m p - lg / 9 80 10 01 v 1 1 4 Ja n 19 98 Hierarchical Non - Emitting Markov Models 1
We describe a simple variant of the interpolated Markov model with nonemitting state transitions and prove that it is strictly more powerful than any Markov model. More importantly, the non-emitting model outperforms the classic interpolated model on the natural language texts under a wide range of experimental conditions, with only a modest increase in computational requirements. The non-emitt...
متن کاملar X iv : h ep - t h / 98 01 17 2 v 1 2 6 Ja n 19 98 ( 1 + 1 ) - Dimensional SU ( N ) Static Sources in E and A Representations
Here is presented a complete work on the (1+1) dimensional SU(N) YangMills theory with static sources. By studying the structure of the SU(N) group and of the Gauss’ law we construct in the electric representation the appropriate wave functionals, which are simultaneously eigenstates of the Gauss’ operator and of the Hamiltonian. Special consideration has been given on the Fourier transformatio...
متن کاملar X iv : g r - qc / 9 80 10 41 v 1 1 3 Ja n 19 98 MULTIDIMENSIONAL GRAVITY WITH P - BRANES
1 The model We consider the model governed by the action
متن کاملar X iv : h ep - p h / 98 01 31 7 v 1 1 5 Ja n 19 98 University of California - Davis University of Wisconsin - Madison UCD - 98 - 4 MADPH
We study the achievable accuracy for measuring the ZZh coupling (g ZZh) of a light (mh <∼ 140GeV) SM-like Higgs boson at ee linear colliders in a model-independent way. At a 500 GeV linear collider, including the (dominant) ZZ-fusion process dramatically increases the precision that can be achieved using only the Zh associated production process; after combining, errors of <∼ 5% − 8% are achiev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998